  λ(x : { a : Bool, b : Bool, c : Bool })
→ x.({ a : Bool, b : Bool }).({ a : Bool })
